Further SEASAT SAR coastal ocean wave analysis

Analysis techniques used to exploit SEASAT synthetic aperture radar (SAR) data of gravity waves are discussed and the SEASAT SAR's ability to monitor large scale variations in gravity wave fields in both deep and shallow water is evaluated. The SAR analysis techniques investigated included motion compensation adjustments and the semicausal model for spectral analysis of SAR wave data. It was determined that spectra generated from fast Fourier transform analysis (FFT) of SAR wave data were not significantly altered when either range telerotation adjustments or azimuth focus shifts were used during processing of the SAR signal histories, indicating that SEASAT imagery of gravity waves is not significantly improved or degraded by motion compensation adjustments. Evaluation of the semicausal (SC) model using SEASAT SAR data from Rev. 974 indicates that the SC spectral estimates were not significantly better than the FFT results

A Machine-Checked Formalization of the Generic Model and the Random Oracle Model

Most approaches to the formal analyses of cryptographic protocols make the perfect cryptography assumption, i.e. the hypothese that there is no way to obtain knowledge about the plaintext pertaining to a ciphertext without knowing the key. Ideally, one would prefer to rely on a weaker hypothesis on the computational cost of gaining information about the plaintext pertaining to a ciphertext without knowing the key. Such a view is permitted by the Generic Model and the Random Oracle Model which provide non-standard computational models in which one may reason about the computational cost of breaking a cryptographic scheme. Using the proof assistant Coq, we provide a machine-checked account of the Generic Model and the Random Oracle Mode

Lessons Learned from Radiative Transfer Simulations of the Venus Atmosphere

The Venus atmosphere is extremely complex, and because of this the spectrum of Earths sister planet is likewise intricate and a challenge to model accurately. However, accurate modeling of Venus spectrum opens up multiple opportunities to better understand the planet next door, and even for understanding Venus-like planets beyond our solar system. Near-infrared (1-2.5 um, NIR) spectral windows observable on the Venus nigthside present the opportunity to probe beneath the Venusian cloud deck and measure thermal emission from the surface and lower atmosphere remotely from Earth or from orbit. These nigthside spectral windows were discovered by Allen and Crawford (1984) and have since been used measure trace gas abundances in the Venus lower atmosphere (less than 45 km), map surface emissivity varisions, and measure properties of the lower cloud deck. These windows sample radiation from below the cloud base at roughly 45 km, and pressures in this region range from roughly Earthlike (approx. 1 bar) up to 90 bars at the surface. Temperatures in this region are high: they range from about 400 K at the base of the cloud deck up to about 740 K at the surface. This high temperature and pressure presents several challenges to modelers attempting radiative transfer simulations of this region of the atmosphere, which we will review. Venus is also important to spectrally model to predict the remote observables of Venus-like exoplanets in anticipation of data from future observatories. Venus-like planets are likely one of the most common types of terrestrial planets and so simulations of them are valuable for planning observatory and detector properties of future telescopes being designed, as well as predicting the types of observations required to characterize them

A decreased probability of habitable planet formation around low-mass stars

Smaller terrestrial planets (< 0.3 Earth masses) are less likely to retain the substantial atmospheres and ongoing tectonic activity probably required to support life. A key element in determining if sufficiently massive "sustainably habitable" planets can form is the availability of solid planet-forming material. We use dynamical simulations of terrestrial planet formation from planetary embryos and simple scaling arguments to explore the implications of correlations between terrestrial planet mass, disk mass, and the mass of the parent star. We assume that the protoplanetary disk mass scales with stellar mass as Mdisk ~ f Mstar^h, where f measures the relative disk mass, and 1/2 < h < 2, so that disk mass decreases with decreasing stellar mass. We consider systems without Jovian planets, based on current models and observations for M stars. We assume the mass of a planet formed in some annulus of a disk with given parameters is proportional to the disk mass in that annulus, and show with a suite of simulations of late-stage accretion that the adopted prescription is surprisingly accurate. Our results suggest that the fraction of systems with sufficient disk mass to form > 0.3 Earth mass habitable planets decreases for low-mass stars for every realistic combination of parameters. This "habitable fraction" is small for stellar masses below a mass in the interval 0.5 to 0.8 Solar masses, depending on disk parameters, an interval that excludes most M stars. Radial mixing and therefore water delivery are inefficient in lower-mass disks commonly found around low-mass stars, such that terrestrial planets in the habitable zones of most low-mass stars are likely to be small and dry.Comment: Accepted to ApJ. 11 pages, 6 figure

The impact of main belt asteroids on infrared--submillimetre photometry and source counts

> Among the components of the infrared and submillimetre sky background, the closest layer is the thermal emission of dust particles and minor bodies in the Solar System. This contribution is especially important for current and future infrared and submillimetre space instruments --like those of Spitzer, Akari and Herschel -- and must be characterised by a reliable statistical model. > We describe the impact of the thermal emission of main belt asteroids on the 5...1000um photometry and source counts, for the current and future spaceborne and ground-based instruments, in general, as well as for specific dates and sky positions. > We used the statistical asteroid model (SAM) to calculate the positions of main belt asteroids down to a size of 1km, and calculated their infrared and submillimetre brightness using the standard thermal model. Fluctuation powers, confusion noise values and number counts were derived from the fluxes of individual asteroids. > We have constructed a large database of infrared and submillimetre fluxes for SAM asteroids with a temporal resolution of 5 days, covering the time span January 1, 2000 -- December 31, 2012. Asteroid fluctuation powers and number counts derived from this database can be obtained for a specific observation setup via our public web-interface. > Current space instruments working in the mid-infrared regime (Akari and Spitzer Space Telescopes) are affected by asteroid confusion noise in some specific areas of the sky, while the photometry of space infrared and submillimetre instruments in the near future (e.g. Herschel and Planck Space Observatories) will not be affected by asteroids. Faint main belt asteroids might also be responsible for most of the zodiacal emission fluctuations near the ecliptic.Comment: accepted for publication in Astronomy & Astrophysics; Additional material (appendices) and the related web-interface can be found at: "http://kisag.konkoly.hu/solarsystem/irsam.html

Discrete Model of Ideological Struggle Accounting for Migration

A discrete in time model of ideological competition is formulated taking into account population migration. The model is based on interactions between global populations of non-believers and followers of different ideologies. The complex dynamics of the attracting manifolds is investigated. Conversion from one ideology to another by means of (i) mass media influence and (ii) interpersonal relations is considered. Moreover a different birth rate is assumed for different ideologies, the rate being assumed to be positive for the reference population, made of initially non-believers. Ideological competition can happen in one or several regions in space. In the latter case, migration of non-believers and adepts is allowed; this leads to an enrichment of the ideological dynamics. Finally, the current ideological situation in the Arab countries and China is commented upon from the point of view of the presently developed mathematical model. The massive forced conversion by Ottoman Turks in the Balkans is briefly discussed.Comment: 24 pages, with 5 figures and 52 refs.; prepared for a Special issue of Advances in Complex System

Strong Water Absorption in the Dayside Emission Spectrum of the Planet HD 189733b

Recent observations of the extrasolar planet HD 189733b did not reveal the presence of water in the emission spectrum of the planet. Yet models of such 'Hot Jupiter' planets predict an abundance of atmospheric water vapour. Validating and constraining these models is crucial for understanding the physics and chemistry of planetary atmospheres in extreme environments. Indications of the presence of water in the atmosphere of HD 189733b have recently been found in transmission spectra, where the planet's atmosphere selectively absorbs the light of the parent star, and in broadband photometry. Here we report on the detection of strong water absorption in a high signal-to-noise, mid-infrared emission spectrum of the planet itself. We find both a strong downturn in the flux ratio below 10 microns and discrete spectral features that are characteristic of strong absorption by water vapour. The differences between these and previous observations are significant and admit the possibility that predicted planetary-scale dynamical weather structures might alter the emission spectrum over time. Models that match the observed spectrum and the broadband photometry suggest that heat distribution from the dayside to the night side is weak. Reconciling this with the high night side temperature will require a better understanding of atmospheric circulation or possible additional energy sources.Comment: 11 pages, 1 figure, published in Natur

Study of damage control systems for space station

Damage control systems for detecting and locating overboard and onboard leak and damage modes on space station

The Physics of Heavy Flavours at SuperB

This is a review of the SuperB project, covering the accelerator, detector, and highlights of the broad physics programme. SuperB is a flavour factory capable of performing precision measurements and searches for rare and forbidden decays of $B_{u,d,s}$, $D$, $\tau$ and $\Upsilon({\mathrm{nS}})$ particles. These results can be used to test fundamental symmetries and expectations of the Standard Model, and to constrain many different hypothesised types of new physics. In some cases these measurements can be used to place constraints on the existence of light dark matter and light Higgs particles with masses below $10GeV/c^2$. The potential impact of the measurements that will be made by SuperB on the field of high energy physics is also discussed in the context of data taken at both high energy in the region around the \Upsilon({\mathrm{4S}})$, and near charm threshold.Comment: 49 pages, topical review submitted to J. Phys